complicate program proof
复杂性程序证明
热门查询
- Watanabe n. 渡边（日本人名）
- crystallised vt. 使…结晶；使具体化（等于crystallize）
- ici abbr. 英国化学工业公司（Imperial Chemical Industries Ltd.）
- unwinnable adj. 攻不破的；不能取胜的；不能赢得的
- syrah n. 席拉（一种葡萄）
- carriageway n. 车道；马路
- hematopoietic adj. 造血的；生血的
- BRI abbr. bronchial inhibitor 支气管抑制剂
- berserk adj. 狂怒的 adv. 狂暴地，狂怒地
- Froebel 福禄培尔(Friedrich, 1782-1852, 德国教育家、幼儿园创办人)
- transform vt. 改变，使…变形；转换 vi. 变换，改变；转化
- MAS abbr. 军事防护勤务（Military Agency for Standardization）；金属氧化铝半导体（Metal-Alumina-Semiconductor）；生存相依论（Mutually Assured Survival） n. (Mas)人名；(英、法、德、葡、印尼)马斯
- Psion n. 得逻辑（加拿大的无线应用供应商）
- pupa n. [昆] 蛹 n. (Pupa)人名；(意)普帕
- jetsam n. 漂流到海岸的货物；投弃货物；[水运] 船舶遇险时投弃的货物
- epiphyte n. 附生植物；体表寄生菌
- sonorous adj. 响亮的；作响的；能发出响亮声音的
- ipod n. 苹果公司音乐播放器
- naivety n. 无邪的行为；天真烂漫（等于naivete）
- fundic [医] 底的, 基底的
